# Mathematical Reasoning

Fresh Picks
Skywork-OR1
Skywork OR1
Skywork-OR1 is a high-performance mathematical code reasoning model developed by Kunlun Wanwei's Tiangong team. This model series achieves industry-leading inference performance with comparable parameter scales, breaking through the bottleneck of large models in logical understanding and complex task solving. The Skywork-OR1 series includes three models: Skywork-OR1-Math-7B, Skywork-OR1-7B-Preview, and Skywork-OR1-32B-Preview, focusing on mathematical reasoning, general reasoning, and high-performance reasoning tasks, respectively. This open-source release not only includes model weights but also fully opens the training dataset and complete training code. All resources have been uploaded to GitHub and Hugging Face, providing the AI community with a fully reproducible practical reference. This comprehensive open-source strategy helps to promote the common progress of the entire AI community in reasoning ability research.
AI Model
39.2K
Chinese Picks
HunYuan T1
Hunyuan T1
HunYuan T1 is a large-scale reasoning model launched by Tencent, based on reinforcement learning technology, significantly improving reasoning capabilities through extensive post-training. It excels in long text processing and context capture, while optimizing the consumption of computing resources, thus possessing efficient reasoning capabilities. It is suitable for various reasoning tasks, and particularly excels in mathematics and logical reasoning. This product is based on deep learning and continuously optimized with actual feedback, suitable for applications in various fields such as scientific research and education.
AI Model
66.8K
DeepSeek-R1-Distill-Qwen-7B
Deepseek R1 Distill Qwen 7B
DeepSeek-R1-Distill-Qwen-7B is a reinforcement learning-optimized reasoning model distilled from Qwen-7B. It excels in mathematical, coding, and reasoning tasks, generating high-quality reasoning chains and solutions. This model significantly enhances reasoning capabilities and efficiency through large-scale reinforcement learning and data distillation techniques, making it suitable for scenarios requiring complex reasoning and logical analysis.
Model Training and Deployment
144.6K
rStar-Math
Rstar Math
rStar-Math is a study aimed at demonstrating that small language models (SLMs) can match or even surpass the mathematical reasoning capabilities of OpenAI's o1 model without relying on more advanced models. This research employs Monte Carlo Tree Search (MCTS) to achieve 'deep thinking', allowing mathematical strategy SLMs to search based on a reward model guided by SLM. rStar-Math introduces three innovative approaches to address the challenge of training two SLMs, enhancing their mathematical reasoning abilities to a state-of-the-art level through four rounds of self-evolution and millions of synthetic solutions. The model significantly improved performance in the MATH benchmark tests and excelled in the AIME competition.
Model Training and Deployment
47.5K
Eurus-2-7B-SFT
Eurus 2 7B SFT
Eurus-2-7B-SFT is a large language model fine-tuned from the Qwen2.5-Math-7B model, aimed at enhancing mathematical reasoning and problem-solving abilities. The model learns reasoning patterns through imitation learning (supervised fine-tuning), effectively solving complex mathematical and programming tasks. Its main advantages lie in its powerful reasoning capabilities and accurate handling of mathematical problems, making it suitable for scenarios that require complex logical reasoning. Developed by the PRIME-RL team, the model aims to improve its reasoning capabilities through implicit rewards.
Research Equipment
50.0K
QVQ-72B-Preview
QVQ 72B Preview
QVQ-72B-Preview is an experimental research model developed by the Qwen team, focusing on enhancing visual reasoning capabilities. The model demonstrates strong abilities in multidisciplinary understanding and reasoning, achieving significant advances especially in mathematical reasoning tasks. Although advancements have been made in visual reasoning, it does not completely replace the capabilities of Qwen2-VL-72B, and may gradually lose focus on image content in multi-step visual reasoning, leading to hallucinations. Furthermore, QVQ does not show significantly better performance in basic recognition tasks compared to Qwen2-VL-72B.
AI Model
60.2K
O1-Journey
O1 Journey
O1-Journey is a project initiated by the GAIR research group at Shanghai Jiao Tong University, aimed at replicating and reimagining the capabilities of OpenAI's O1 model. This project introduces a novel training paradigm called 'journey learning' and has successfully built the first model that integrates search and learning in mathematical reasoning. Through processes such as trial and error, correction, backtracking, and reflection, this model has become an effective method for tackling complex reasoning tasks.
Research Equipment
48.3K
DeepSeek-Coder-V2-Lite-Instruct
Deepseek Coder V2 Lite Instruct
DeepSeek-Coder-V2 is an open-source Mixture-of-Experts code language model, whose performance rivals that of GPT4-Turbo. It excels in code-specific tasks. Further pre-trained with an additional 60 billion tokens, it enhances coding and mathematical reasoning abilities while maintaining comparable performance on general language tasks. Compared to DeepSeek-Coder-33B, it shows significant improvements across code-related tasks, reasoning, and general capabilities. Moreover, it supports 338 programming languages (an expansion from 86) and boasts a context length extended to 128K from 16K.
AI code assistant
81.1K
InternLM-Math-Plus
Internlm Math Plus
InternLM-Math-Plus is a cutting-edge bilingual (English and Chinese) open-source large language model (LLM) focused on mathematical reasoning. It exhibits capabilities in solving, proving, validating, and augmenting mathematical problems. It demonstrates significant performance improvements in both informal mathematical reasoning (such as reasoning chains and code interpretation) and formal mathematical reasoning (such as LEAN 4 translation and proof).
AI Model
50.5K
Featured AI Tools
Flow AI
Flow AI
Flow is an AI-driven movie-making tool designed for creators, utilizing Google DeepMind's advanced models to allow users to easily create excellent movie clips, scenes, and stories. The tool provides a seamless creative experience, supporting user-defined assets or generating content within Flow. In terms of pricing, the Google AI Pro and Google AI Ultra plans offer different functionalities suitable for various user needs.
Video Production
45.0K
NoCode
Nocode
NoCode is a platform that requires no programming experience, allowing users to quickly generate applications by describing their ideas in natural language, aiming to lower development barriers so more people can realize their ideas. The platform provides real-time previews and one-click deployment features, making it very suitable for non-technical users to turn their ideas into reality.
Development Platform
48.6K
ListenHub
Listenhub
ListenHub is a lightweight AI podcast generation tool that supports both Chinese and English. Based on cutting-edge AI technology, it can quickly generate podcast content of interest to users. Its main advantages include natural dialogue and ultra-realistic voice effects, allowing users to enjoy high-quality auditory experiences anytime and anywhere. ListenHub not only improves the speed of content generation but also offers compatibility with mobile devices, making it convenient for users to use in different settings. The product is positioned as an efficient information acquisition tool, suitable for the needs of a wide range of listeners.
AI
45.5K
MiniMax Agent
Minimax Agent
MiniMax Agent is an intelligent AI companion that adopts the latest multimodal technology. The MCP multi-agent collaboration enables AI teams to efficiently solve complex problems. It provides features such as instant answers, visual analysis, and voice interaction, which can increase productivity by 10 times.
Multimodal technology
48.3K
Chinese Picks
Tencent Hunyuan Image 2.0
Tencent Hunyuan Image 2.0
Tencent Hunyuan Image 2.0 is Tencent's latest released AI image generation model, significantly improving generation speed and image quality. With a super-high compression ratio codec and new diffusion architecture, image generation speed can reach milliseconds, avoiding the waiting time of traditional generation. At the same time, the model improves the realism and detail representation of images through the combination of reinforcement learning algorithms and human aesthetic knowledge, suitable for professional users such as designers and creators.
Image Generation
48.0K
OpenMemory MCP
Openmemory MCP
OpenMemory is an open-source personal memory layer that provides private, portable memory management for large language models (LLMs). It ensures users have full control over their data, maintaining its security when building AI applications. This project supports Docker, Python, and Node.js, making it suitable for developers seeking personalized AI experiences. OpenMemory is particularly suited for users who wish to use AI without revealing personal information.
open source
45.8K
FastVLM
Fastvlm
FastVLM is an efficient visual encoding model designed specifically for visual language models. It uses the innovative FastViTHD hybrid visual encoder to reduce the time required for encoding high-resolution images and the number of output tokens, resulting in excellent performance in both speed and accuracy. FastVLM is primarily positioned to provide developers with powerful visual language processing capabilities, applicable to various scenarios, particularly performing excellently on mobile devices that require rapid response.
Image Processing
42.5K
Chinese Picks
LiblibAI
Liblibai
LiblibAI is a leading Chinese AI creative platform offering powerful AI creative tools to help creators bring their imagination to life. The platform provides a vast library of free AI creative models, allowing users to search and utilize these models for image, text, and audio creations. Users can also train their own AI models on the platform. Focused on the diverse needs of creators, LiblibAI is committed to creating inclusive conditions and serving the creative industry, ensuring that everyone can enjoy the joy of creation.
AI Model
6.9M
AIbase
Empowering the Future, Your AI Solution Knowledge Base
© 2025AIbase